Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
101	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: ezyang.com Language: English - Date: 2015-03-19 00:33:40 Metalogic Logic Structure Programming language Mathematics Formal languages Model theory
102	INTEGRATED CIRCUITS DATA SHEET PCD8544 48 × 84 pixels matrix LCD Add to Reading List Source URL: www.micropik.com Language: English - Date: 2015-01-19 11:21:38 Computer memory Electronic engineering Electronics Liquid crystal display Microcontroller Dynamic random-access memory Logic level Digital electronics Computer hardware Display technology
103	l!soMEr~ME!l IS so&fETIMEs Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-07-12 18:31:52 Logic in computer science Model theory Non-classical logic Philosophical logic Modal logic Dynamic logic Temporal logic Assertion Axiom Logic Mathematical logic Mathematics
104	Linguistics 218: Math Ling II Montague Grammar and Dynamic Semantics Jessica Rett, deets: MW 12-2, Bunche 1265 course description: Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2015-03-01 16:55:18 Grammar Science Predicate logic Quantification Discourse representation theory Lambda calculus Montague grammar Intensional logic First-order logic Semantics Logic Linguistics
105	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: stefanheule.com Language: English - Date: 2015-01-16 18:44:42 Programming language Logic Mathematics Model theory Metalogic Structure
106	Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic Malvin Gattinger1 and Jan van Eijck2 1 2 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-25 11:31:05 Model theory Philosophical logic Modal logic Interpretation Constructible universe Kripke semantics If and only if Golden ratio Valuation Logic Mathematical logic Mathematics
107	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
108	Dynamic Logic in ACG: discourse anaphora and scoping islands Logical Methods for Discourse Nancy, December 15, 2009 Add to Reading List Source URL: okmij.org Language: English - Date: 2009-12-15 18:20:05 Philosophical logic Predicate logic Donkey Mule Analytic philosophy Logic Semantics Quantification
109	Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2009-02-27 08:29:43 Modal logic Logic in computer science Non-classical logic Philosophical logic Artificial intelligence Epistemic modal logic Burrows–Abadi–Needham logic Temporal logic Dynamic logic Logic Mathematical logic Mathematics
110	by Stephen A. Edwards Retrocomputing on an FPGA Reconstructing an 80’s-Era Home Computer with Programmable Logic The author reconstructs a computer of his childhood, an Apple II+. Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2009-01-12 11:25:59 Classes of computers Apple II series Apple II Dynamic random-access memory Colorburst Commodore 64 Video Graphics Array Home computer TRS-80 Color Computer Computer hardware Computing Retrocomputing

UPDATE